kills a worker

;